{
0,6,7,-1,
2,8,9,-1,
1,10,11,-1,
0,7,8,2,-1,
1,2,9,10,-1,
0,1,11,6,-1,
3,7,6,-1,
5,9,8,-1,
4,11,10,-1,
3,5,8,7,-1,
5,4,10,9,-1,
3,6,11,4,-1,

s0,1,12,-1,
s0,13,2,-1,
s1,2,14,-1,
s1,12,14,-1,
s0,12,13,-1,
s2,13,14,-1,
s3,12,13,-1,
s5,14,13,-1,
s4,12,14,-1,
s3,5,13,-1,
s5,4,14,-1,
s4,3,12,-1,
}
